<script>
document.location.href = 'doc/Vesta.html'
</script>
